Due to a planned power outage on Friday, 1/14, between 8am-1pm PST, some services may be impacted.
Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand